Skip to content

fix(licence): #3 Tranche 1 — clear scaffold-placeholder leak (verisimdb)#12

Merged
hyperpolymath merged 1 commit into
mainfrom
licence-debt/03-t1-placeholder
May 19, 2026
Merged

fix(licence): #3 Tranche 1 — clear scaffold-placeholder leak (verisimdb)#12
hyperpolymath merged 1 commit into
mainfrom
licence-debt/03-t1-placeholder

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

#3 Tranche 1 (post-pilot #32-shape). Scaffold-placeholder leak per standards/LICENCE-POLICY.adoc A5 — NOT relicensing. PLMP/PMLP + doubled-suffix substituted to this repo's correct id PMPL-1.0-or-later. 2 file(s). Gates: diff-shape asserted (SPDX-only, auto-revert on anomaly), zero residual, no 3c file. 🤖 Generated with Claude Code

Rebuilt from origin/main (original #12 was behind + conflicting).
PLMP/PMLP + doubled -> PMPL-1.0-or-later. Diff = SPDX lines only.
Refs hyperpolymath/standards LICENCE-POLICY.adoc A5.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@hyperpolymath
hyperpolymath force-pushed the licence-debt/03-t1-placeholder branch from 7cda4b6 to f625e93 Compare May 19, 2026 07:32
@hyperpolymath
hyperpolymath merged commit 078664e into main May 19, 2026
6 of 9 checks passed
@github-actions

Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 120 issues detected

Severity Count
🔴 Critical 18
🟠 High 64
🟡 Medium 38

⚠️ Action Required: Critical security issues found!

View findings
[
  {
    "reason": "Stale AI task file -- delete or move to docs/",
    "type": "stale",
    "file": "SONNET-TASKS.md",
    "action": "delete",
    "rule_module": "root_hygiene",
    "severity": "high"
  },
  {
    "reason": "Issue in quality.yml",
    "type": "missing_workflow",
    "file": "quality.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Issue in security-policy.yml",
    "type": "missing_workflow",
    "file": "security-policy.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Action hyperpolymath/panic-attacker/.github/workflows/scan-and-report.yml@main needs attention",
    "type": "unpinned_action",
    "file": "security-scan.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "binary_to_term without :safe option -- deserialization attack (1 occurrences, CWE-502)",
    "type": "elixir_send_unsanitised",
    "file": "/home/runner/work/verisimdb/verisimdb/lib/verisim/query_cache.ex",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "binary_to_term without :safe option -- deserialization attack (1 occurrences, CWE-502)",
    "type": "elixir_send_unsanitised",
    "file": "/home/runner/work/verisimdb/verisimdb/lib/verisim/query_planner_config.ex",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "String.to_existing_atom with user input exhausts atom table -- use to_existing_atom (1 occurrences, CWE-400)",
    "type": "elixir_atom_from_user",
    "file": "/home/runner/work/verisimdb/verisimdb/elixir-orchestration/lib/verisim/query/vql_type_checker.ex",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "HTTP URL in code -- use HTTPS for non-localhost (1 occurrences, CWE-319)",
    "type": "js_http_url_in_code",
    "file": "/home/runner/work/verisimdb/verisimdb/connectors/test-infra/seed/mongodb-init.js",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "getExn on external data -- use pattern matching (1 occurrences, CWE-754)",
    "type": "getexn_on_external",
    "file": "/home/runner/work/verisimdb/verisimdb/src/registry/Registry.res",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

hyperpolymath added a commit that referenced this pull request May 20, 2026
Rebuilt from origin/main (original #12 was behind + conflicting).
PLMP/PMLP + doubled -> PMPL-1.0-or-later. Diff = SPDX lines only.
Refs hyperpolymath/standards LICENCE-POLICY.adoc A5.

Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@hyperpolymath
hyperpolymath deleted the licence-debt/03-t1-placeholder branch May 20, 2026 21:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant